From falsification to verificationPELED, Doron; PNUELI, Amir; ZUCK, Lenore et al.Lecture notes in computer science. 2001, pp 292-304, issn 0302-9743, isbn 3-540-43002-4Conference Paper

LOGIQUES LINÉAIRES HYBRIDES ET LEURS MODALITÉS : THÉORIES ET APPLICATIONS = HYBRID LINEAR LOGICS AND THEIR MODALITIES : THEORY AND APLICATIONSDemaille, Akim; Bellot, Patrick.1999, 175 p.Thesis

Coping polynomially with numerous but identical elements within planning problemsKANOVICH, Max; VAUZEILLES, Jacqueline.Lecture notes in computer science. 2003, pp 285-298, issn 0302-9743, isbn 3-540-40801-0, 14 p.Conference Paper

Typed GoI for ExponentialsHAGHVERDI, Esfandiar.Lecture notes in computer science. 2006, pp 384-395, issn 0302-9743, isbn 3-540-35904-4, 12 p.Conference Paper

A non-commutative extension of MELLGUGLIELMI, Alessio; STRASSBURGER, Lutz.Lecture notes in computer science. 2002, pp 231-246, issn 0302-9743, isbn 3-540-00010-0, 16 p.Conference Paper

Efficient monitoring of safety propertiesHAVELUND, Klaus; ROSU, Grigore.International journal on software tools for technology transfer (Print). 2004, Vol 6, Num 2, pp 158-173, issn 1433-2779, 16 p.Conference Paper

The definition of a temporal clock operatorEISNER, Cindy; FISMAN, Dana; HAVLICEK, John et al.Lecture notes in computer science. 2003, pp 857-870, issn 0302-9743, isbn 3-540-40493-7, 14 p.Conference Paper

Synthesis of uninitialized systemsHENZINGER, Thomas A; KRISHNAN, Sriram C; KUPFERMAN, Orna et al.Lecture notes in computer science. 2002, pp 644-656, issn 0302-9743, isbn 3-540-43864-5, 13 p.Conference Paper

Implantation parallèle avec la logique linéaire (application des réseaux d'interaction et de la géométrie d'interaction) = Parallel Implementation with Linear Logic (applications of Interaction Nets and the Geometry of Interaction)Sousa Pinto, Zorge; Mackie, Ian.2001, 211 p.Thesis

Binding signatures for generic contextsPOWER, John; TANAKA, Miki.Lecture notes in computer science. 2005, pp 308-323, issn 0302-9743, isbn 3-540-25593-1, 16 p.Conference Paper

Duration-constrained regular expressionsLI XUANDONG; ZHAO JIANHUA; ZHENG TAO et al.Formal aspects of computing. 2004, Vol 16, Num 2, pp 155-163, issn 0934-5043, 9 p.Conference Paper

Linear logicGIRARD, Jean-Yves; OKADA, Mitsuhiro; SCEDROV, Andre et al.Theoretical computer science. 2003, Vol 294, Num 3, issn 0304-3975, 243 p.Conference Proceedings

Local LTL with past constants is expressively complete for Mazurkiewicz tracesGASTIN, Paul; MUKUND, Madhavan; NARAYAN KUMAR, K et al.Lecture notes in computer science. 2003, pp 429-438, issn 0302-9743, isbn 3-540-40671-9, 10 p.Conference Paper

LTL with past and two-way very-weak alternating automataGASTIN, Paul; ODDOUX, Denis.Lecture notes in computer science. 2003, pp 439-448, issn 0302-9743, isbn 3-540-40671-9, 10 p.Conference Paper

Connection-based proof construction in non-commutative logicGALMICHE, D; NOTIN, J.-M.Lecture notes in computer science. 2003, pp 422-436, issn 0302-9743, isbn 3-540-20101-7, 15 p.Conference Paper

The Maude LTL model checker and its implementationEKER, Steven; MESEGUER, José; SRIDHARANARAYANAN, Ambarish et al.Lecture notes in computer science. 2003, pp 230-234, issn 0302-9743, isbn 3-540-40117-2, 5 p.Conference Paper

Acyclicity and coherence in multiplicative exponential linear logicPAGANI, Michele.Lecture notes in computer science. 2006, pp 531-545, issn 0302-9743, isbn 3-540-45458-6, 1Vol, 15 p.Conference Paper

Enhanced vacuity detection in linear temporal logicARMONI, Roy; FIX, Limor; FLAISHER, Alon et al.Lecture notes in computer science. 2003, pp 368-380, issn 0302-9743, isbn 3-540-40524-0, 13 p.Conference Paper

Compressing transitions for model checkingKURSHAN, Robert; LEVIN, Vladimir; YENIGÜN, Hüsnü et al.Lecture notes in computer science. 2002, pp 569-581, issn 0302-9743, isbn 3-540-43997-8, 13 p.Conference Paper

Experiments with Deterministic w-Automata for Formulas of Linear Temporal LogicKLEIN, Joachim; BAIER, Christel.Lecture notes in computer science. 2006, pp 199-212, issn 0302-9743, isbn 3-540-31023-1, 1Vol, 14 p.Conference Paper

Modular verification of petri nets properties : A structure-based approachKLAI, Kais; HADDAD, Serge; ILIE, Jean-Michel et al.Lecture notes in computer science. 2005, pp 189-203, issn 0302-9743, isbn 3-540-29189-X, 1Vol, 15 p.Conference Paper

Reasoning about game equilibria using temporal logicVENKATESH, G.Lecture notes in computer science. 2004, pp 506-517, issn 0302-9743, isbn 3-540-24058-6, 12 p.Conference Paper

Efficient model checking of safety propertiesLATVALA, Timo.Lecture notes in computer science. 2003, pp 74-88, issn 0302-9743, isbn 3-540-40117-2, 15 p.Conference Paper

CSL 2002 : computer science logic (Edinburgh, 22-25 September 2002)Bradfield, Julian.Lecture notes in computer science. 2002, issn 0302-9743, isbn 3-540-44240-5, XII, 612 p, isbn 3-540-44240-5Conference Proceedings

A simplified clausal resolution procedure for propositional linear-time temporal logicDEGTYAREV, Anatoli; FISHER, Michael; KONEV, Boris et al.Lecture notes in computer science. 2002, pp 85-99, issn 0302-9743, isbn 3-540-43929-3, 15 p.Conference Paper